Site Characterizations for Geometric Invariants of Toposes
نویسنده
چکیده
We discuss the problem of characterizing the property of a Grothendieck topos to satisfy a given `geometric' invariant as a property of its sites of de nition, and indicate a set of general techniques for establishing such criteria. We then apply our methodologies to speci c invariants, notably including the property of a Grothendieck topos to be localic (resp. atomic, locally connected, equivalent to a presheaf topos), obtaining explicit site characterizations for them.
منابع مشابه
Syntactic Characterizations of Properties of Classifying Toposes
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (respectively connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple sites of definition for a given topos to establish various results on quotients of theories of presheaf type.
متن کاملYoneda Representations of Flat Functors and Classifying Toposes
We obtain semantic characterizations, holding for any Grothendieck site (C, J), for the models of a theory classified by a topos of the form Sh(C, J) in terms of the models of a theory classified by a topos [C,Set]. These characterizations arise from an appropriate representation of flat functors into Grothendieck toposes based on an application of the Yoneda Lemma in conjunction with ideas fro...
متن کاملHomotopy types for “gros” toposes
Introduction In this thesis we are investigating possibility of assigning homotopical invariants to toposes in an alternative way. The 2-category of (Grothendieck) toposes, geometric morphisms and their natural transformations (which we will denote by Top) has been used by many authors to model homotopy types particularly efficiently. Thus for example a topological space X can be represented in...
متن کاملMolecular Toposes*
In [2], Barr and Diaconescu characterized those Grothendieck toposes 8 for which the inverse image, A, of the geometric morphism r: 8 + Yet, is logical. It was shown (among other things) that this happens precisely when the lattice of subobjects of every object of 8 is a complete atomic boolean algebra. Toposes satisfying this property are called atomic. These results were relativised to the ca...
متن کاملCharacterizations Using Entropies of Records in a Geometric Random Record Model
Suppose that a geometrically distributed number of observations are available from an absolutely continuous distribution function $F$, within this set of observations denote the random number of records by $M$. This is called geometric random record model. In this paper, characterizations of $F$ are provided in terms of the subsequences entropies of records conditional on events ${M geq n}$ or ...
متن کامل